Nuprl Definition : ma-interface-dom
11,40
postcript
pdf
ma-interface-dom(
I
;
i
) == fpf-domain(
I
(
i
).2)
latex
clarification:
ma-interface-dom(
I
;
i
) == fpf-domain(
I
IdDeq(
i
).2)
latex
Definitions
fpf-domain(
f
)
,
t
.2
,
f
(
x
)
,
IdDeq
FDL editor aliases
ma-interface-dom
origin